Fiche membre Retour à l'annuaire
Massimo TISI
ENSEIGNANT-CHERCHEUR
: Massimo.Tisiatls2n.fr
Adresse :
IMT Atlantique Bretagne-Pays de la Loire Ecole Mines-Telecom ( IMT ATLANTIQUE )La Chantrerie4, rue Alfred KastlerB.P. 20722
44307 NANTES Cedex 3
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] J. Pontes Miranda, H. Bruneliere, M. Tisi, G. Sunyé. Integrating the Support for Machine Learning of Inter-Model Relations in Model Views. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2024, vol. 23, num. 3.https://hal.science/hal-04557378v1
- [2] J. Enet, E. Bousse, M. Tisi, G. Sunyé. Protocol-Based Interactive Debugging for Domain-Specific Languages. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2023, vol. 22, num. 2.https://hal.science/hal-04124727v1
- [3] Z. Cheng, M. Tisi. Deep Specification and Proof Preservation for the CoqTL Transformation Language. In Software & Systems Modeling. 2022https://inria.hal.science/hal-03656144v1
- [4] D. Di Ruscio, D. Kolovos, J. de Lara, A. Pierantonio, M. Tisi, M. Wimmer. Low-code development and model-driven engineering: Two sides of the same coin?. In Software and Systems Modeling ; éd. Springer Verlag, 2022, vol. 21, num. 2.https://hal.science/hal-03916536v1
- [5] G. Hinkel, A. Garcia-Dominguez, R. Schöne, A. Boronat, M. Tisi, T. Le Calvar, F. Jouault, J. Marton, T. Nyíri, J. Antal, M. Elekes, G. Szárnyas. A cross-technology benchmark for incremental graph queries. In Software and Systems Modeling ; éd. Springer Verlag, 2022, vol. 21, num. April.https://hal.science/hal-03594453v1
- [6] M. Dehghani, S. Kolahdouz-Rahimi, M. Tisi, D. Tamzalit. Facilitating the Migration to the Microservice Architecture via Model-Driven Reverse Engineering and Reinforcement Learning. In Software and Systems Modeling ; éd. Springer Verlag, 2022, vol. 21, num. 3.https://hal.science/hal-03916547v1
- [7] I. Berrouyne, M. Adda, J. Mottu, M. Tisi. A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things. In IEEE Internet of Things Journal ; éd. IEEE, 2022, vol. 9, num. 20.https://hal.science/hal-03916558v1
- [8] A. Bucchiarone, F. Ciccozzi, L. Lambers, A. Pierantonio, M. Tichy, M. Tisi, A. Wortmann, V. Zaytsev. What is the Future of Modelling ?. In IEEE Software ; éd. Institute of Electrical and Electronics Engineers, 2021, vol. 38, num. 2.https://hal.science/hal-03916530v1
- [9] Z. Cheng, M. Tisi, R. Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19.https://hal.science/hal-02333564v1
- [10] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Source-Code Level Regression Test Selection: the Model-Driven Way. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2019, vol. 18, num. 2.https://hal.science/hal-02333538v1
- [11] Z. Cheng, M. Tisi. Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2018, vol. 20, num. 6.https://inria.hal.science/hal-01763410v1
- [12] A. Benelallam, A. Gómez, M. Tisi, J. Cabot. Distributing Relational Model Transformation on MapReduce. In Journal of Systems and Software ; éd. Elsevier, 2018, vol. 142.https://hal.science/hal-01863885v1
- [13] S. Martínez, M. Tisi, R. Douence. Reactive Model Transformation with ATL. In Science of Computer Programming ; éd. Elsevier, 2017, vol. 136.https://inria.hal.science/hal-01627991v1
- [14] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gomez, J. Cabot. NeoEMF: A Multi-database Model Persistence Framework for Very Large Models. In Science of Computer Programming ; éd. Elsevier, 2017.https://hal.science/hal-01589588v1
- [15] S. Hidaka, M. Tisi, J. Cabot, Z. Hu. Feature-Based Classification of Bidirectional Transformation Approaches. In Software and Systems Modeling ; éd. Springer Verlag, 2016, vol. 15.https://inria.hal.science/hal-01257169v1
- [16] P. Fraternali, M. Tisi. Using Traceability Links and Higher Order Transformations for Easing Regression Testing of Web Applications. In Journal of Web Engineering ; éd. Rinton Press, 2011, vol. 10, num. 1.https://inria.hal.science/inria-00602420v1
- [17] J. Cabot, M. Tisi. The MDE Diploma: First International Postgraduate Specialization in Model-Driven Engineering. In Computer Science Education ; éd. Taylor & Francis (Routledge), 2011, vol. 21, num. 4.https://inria.hal.science/hal-00646898v1
- [18] J. Pontes Miranda, H. Bruneliere, M. Tisi, G. Sunyé. Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views. In SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, avril 2024, Avila, Espagne.https://hal.science/hal-04346770v1
- [19] J. Pontes Miranda, H. Bruneliere, M. Tisi, G. Sunyé. Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views. In 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE’24), octobre 2024, Pasadena, CA, états-Unis.https://hal.science/hal-04698209v1
- [20] M. Dehghani, S. Kolahdouz-Rahimi, M. Tisi, D. Tamzalit. Faciliter la migration vers une architecture microservices : Approche basée sur la rétroingénierie dirigée par les modèles et l'apprentissage par renforcement.. In INFORSID, mai 2023, La Rochelle, France.https://hal.science/hal-04447882v1
- [21] A. Rahimi, M. Tisi, S. Rahimi, L. Berardinelli. Towards Generating Structurally Realistic Models by Generative Adversarial Networks. In MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, octobre 2023, Västerås, France.https://hal.science/hal-04627381v1
- [22] J. Enet, E. Bousse, M. Tisi, G. Sunyé. On the Suitability of LSP and DAP for Domain-Specific Languages. In MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, octobre 2023, Västerås, Suède.https://hal.science/hal-04245594v1
- [23] Z. Rajaei, S. Kolahdouz-Rahimi, M. Tisi, F. Jouault. A DSL for Encoding Models for Graph-Learning Processes. In 20th International Workshop on OCL and Textual Modeling, juin 2021, Bergen, Norvège.https://hal.science/hal-03252919v1
- [24] J. Philippe, M. Tisi, H. Coullon, G. Sunyé. Executing Certified Model Transformations on Apache Spark. In SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, octobre 2021, Chicago IL, états-Unis.https://hal.science/hal-03343942v1
- [25] M. Tisi, H. Bruneliere, J. de Lara, D. Ruscio, D. Kolovos. Towards Twin-Driven Engineering: Overview of the State-of-the-Art and Research Directions. In IFIP Conference on Advances in Production Management Systems (APMS 2021), septembre 2021, Nantes, France.In Alexandre Dolgui (éds.), . Springer International Publishing, 2021.https://hal.science/hal-03288132v1
- [26] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. In Advanced Information Networking and Applications, avril 2020, Nantes, France.https://hal.science/hal-02943297v1
- [27] Z. Cheng, M. Tisi, J. Hotonnier. Certifying a Rule-Based Model Transformation Engine for Proof Preservation. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, octobre 2020, Montreal, Canada.https://inria.hal.science/hal-02907622v1
- [28] J. Philippe, H. Coullon, M. Tisi, G. Sunyé. Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms. In 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, octobre 2020, Montreal (Virtually), Canada.https://hal.science/hal-02952952v1
- [29] T. Béziers La Fosse, M. Tisi, J. Mottu, G. Sunyé. Annotating Executable DSLs with Energy Estimation Formulas. In SLE 2020 - Software Language Engineering, novembre 2020, Chicago, Illinois / Virtual, états-Unis.https://inria.hal.science/hal-03001493v1
- [30] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. CyprIoT: framework for modelling and controlling network-based IoT applications. In SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, avril 2019, Limassol, Chypre.https://hal.science/hal-02333578v2
- [31] Z. Cheng, J. Royer, M. Tisi. Removing Problems in Rule-Based Policies. In SEC 2019 : ICT Systems Security and Privacy Protection, juin 2019, Lisbon, Portugal.https://hal.science/hal-02169342v1
- [32] M. Tisi, J. Mottu, D. Kolovos, J. de Lara, E. Guerra, D. Di Ruscio, A. Pierantonio, M. Wimmer. Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms. In STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), juillet 2019, Eindhoven, Pays-Bas.https://hal.science/hal-02363416v1
- [33] T. Béziers La Fosse, M. Tisi, E. Bousse, J. Mottu, G. Sunyé. Towards platform specific energy estimation for executable domain-specific modeling languages. In MODELS-C 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, septembre 2019, Munich, Allemagne.https://hal.science/hal-02297501v1
- [34] M. Tisi, Z. Cheng. CoqTL: an Internal DSL for Model Transformation in Coq. In ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, juin 2018, Toulouse, France.https://inria.hal.science/hal-01828344v1
- [35] V. Besnard, F. Jouault, T. Le Calvar, M. Tisi. The TTC 2018 Social Media Case, by ATL and AOF. In 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), juin 2018, Toulouse, France.https://hal.science/hal-01996093v1
- [36] Z. Cheng, J. Royer, M. Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System. In IFM 2018 - 14th International Conference on integrated Formal Methods, septembre 2018, Maynooth, Irlande.https://inria.hal.science/hal-01828305v1
- [37] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Characterizing a Source Code Model with Energy Measurements. In Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), octobre 2018, Oulu, Finlande.https://inria.hal.science/hal-01952724v1
- [38] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. Towards Model-Based Communication Control for the Internet of Things. In STAF Workshops, juin 2018, Toulouse, France.In Manuel Mazzara (éds.), . Springer Verlag, 2018.https://hal.science/hal-01984056v1
- [39] Z. Cheng, M. Tisi. Incremental Deductive Verification for Relational Model Transformations. In ICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, mars 2017, Tokyo, Japon.https://hal.science/hal-01435974v1
- [40] Z. Cheng, M. Tisi. A Deductive Approach for Fault Localization in ATL Model Transformations. In FASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, avril 2017, Uppsala, Suède.https://hal.science/hal-01435977v1
- [41] T. Béziers La Fosse, M. Tisi, J. Mottu. Injecting Execution Traces into a Model-Driven Framework for Program Analysis. In Workshop on Scalability in Model Driven Engineering (BigMDE'17), juillet 2017, Marburg, France.https://hal.science/hal-01689968v1
- [42] S. Hidaka, F. Jouault, M. Tisi. On Additivity in Transformation Languages. In MODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, septembre 2017, Austin, Texas, états-Unis.https://hal.science/hal-01566259v1
- [43] D. Kolovos, A. Garcia-Dominguez, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, G. Sunyé, M. Tisi. MONDO: Scalable Modelling and Model Management on the Cloud. In STAF Project Showcase 2016, 2016, Vienna, Autriche.https://inria.hal.science/hal-01394407v1
- [44] E. Hamza, J. Cánovas Izquierdo, A. Gómez, M. Tisi, J. Cabot. EMF-REST: Generation of RESTful APIs from Models. In Symposium on Applied Computing 2016, 2016, Pisa, Italie.https://inria.hal.science/hal-01394402v1
- [45] M. Tisi, F. Jouault, S. Zied, J. Delatour. Enabling OCL and fUML Integration by Transformation. In 12th European Conference, ECMFA 2016, juillet 2016, Vienna, Autriche.https://hal.science/hal-01340073v1
- [46] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gómez, J. Cabot. NeoEMF: a Multi-database Model Persistence Framework for Very Large Models. In Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), octobre 2016, Saint-Malo, France.https://hal.science/hal-01436047v1
- [47] Z. Cheng, M. Tisi. Towards Incremental Deductive Verification for ATL. In Verification of Model Transformation, octobre 2016, Saint-Malo, France.https://inria.hal.science/hal-01383886v1
- [48] A. Benelallam, M. Tisi, J. Sánchez Cuadrado, J. de Lara, J. Cabot. Efficient Model Partitioning for Distributed Model Transformations. In SLE 2016 - International Conference of Software Language Engineering, octobre 2016, Amsterdam, Pays-Bas.https://inria.hal.science/hal-01367572v2
- [49] D. Kolovos, L. Rose, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, G. Sunyé, M. Tisi. MONDO: Scalable Modelling and Model Management on the Cloud. In STAF2015 Project Showcase, 2015, L'Aquila, Italie.https://inria.hal.science/hal-01394222v1
- [50] V. Cosentino, M. Tisi, J. Cánovas Izquierdo. A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs. In 41st International Conference on Current Trends in Theory and Practice of Computer Science, janvier 2015, Pec pod Sněžkou, République tchèque.https://inria.hal.science/hal-01094214v1
- [51] A. Gómez, M. Tisi, G. Sunyé, J. Cabot. Map-Based Transparent Persistence for Very Large Models. In Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, avril 2015, London, Royaume-Uni.https://inria.hal.science/hal-01140776v1
- [52] A. Gómez, A. Benelallam, M. Tisi. Decentralized Model Persistence for Distributed Computing. In 3rd BigMDE Workshop, juillet 2015, L'Aquila, Italie.https://hal.science/hal-01215280v1
- [53] M. Tisi, R. Douence, D. Wagelaar. Lazy Evaluation for OCL. In Models 2015: 15th International Workshop on OCL and Textual Modeling, septembre 2015, Ottawa, Canada.https://inria.hal.science/hal-01221072v1
- [54] A. Benelallam, A. Gómez, M. Tisi, J. Cabot. Distributed Model-to-Model Transformation with ATL on MapReduce. In Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), octobre 2015, Pittsburgh, états-Unis.https://hal.science/hal-01215228v1
- [55] A. Benelallam, A. Gómez, M. Tisi. ATL-MR: Model Transformation on MapReduce. In Proceedings of the Second Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2015, octobre 2015, Pittsburgh, états-Unis.https://hal.science/hal-01215268v1
- [56] F. Jouault, M. Tisi, J. Delatour. fUML as an Assembly Language for MDA. In Proceedings of the 6th International Workshop on Modeling in Software Engineering, juin 2014, Hyderabad, Inde.https://inria.hal.science/hal-00966441v1
- [57] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi. Improving memory efficiency for processing large-scale models. In BigMDE, juillet 2014, York, UK, Royaume-Uni.https://inria.hal.science/hal-01033188v1
- [58] A. Benelallam, A. Gómez, G. Sunyé, M. Tisi, D. Launay. Neo4EMF, a Scalable Persistence Layer for EMF Models. In ECMFA- European conference on Modeling Foundations and applications, avril 2014, York, UK, Royaume-Uni.In Cabot, Jordi and Rubin, Julia (éds.), . Springer International Publishing, 2014.https://inria.hal.science/hal-00968516v1
- [59] A. Benelallam, M. Tisi, I. Rath, B. Izso, D. Kolovos. Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations. In BigMDE, juillet 2014, York, UK, Royaume-Uni.In CEUR Workshop Proceedings (éds.), . , 2014.https://inria.hal.science/hal-01035450v1
- [60] M. Tisi, F. Jouault, J. Delatour, S. Zied, H. Choura. fUML as an Assembly Language for Model Transformation. In 7th International Conference, SLE 2014, septembre 2014, Västerås, Suède.In Benoît Combemale (éds.), . Springer International Publishing, 2014.https://inria.hal.science/hal-01096634v1
- [61] D. Kolovos, L. Rose, N. Matragkas, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, M. Tisi, J. Cabot. A research roadmap towards achieving scalability in model driven engineering. In Proceedings of the Workshop on Scalability in Model Driven Engineering, juin 2013, Budapest, Hongrie.https://inria.hal.science/hal-00869267v1
- [62] V. Cosentino, M. Tisi, F. Büttner. Analyzing Flowgraphs with ATL. In Transformation Tool Contest, juin 2013, Budapest, Hongrie.https://inria.hal.science/hal-00819075v1
- [63] M. Tisi, S. Martínez, H. Choura. Parallel Execution of ATL Transformation Rules. In MoDELS, septembre 2013, Miami, états-Unis.https://inria.hal.science/hal-00869269v1
- [64] J. Mottu, S. Sen, M. Tisi, J. Cabot. Static Analysis of Model Transformations for Effective Test Generation. In ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, états-Unis.https://inria.hal.science/hal-00752412v1
- [65] S. Sen, J. Mottu, M. Tisi, J. Cabot. Using Models of Partial Knowledge to Test Model Transformations. In International Conference on Model Transformation, mai 2012, Prague, République tchèque.https://inria.hal.science/hal-00692175v1
- [66] C. Clasen, M. Didonet del Fabro, M. Tisi. Transforming Very Large Models in the Cloud: a Research Roadmap. In CloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, juillet 2012, Copenhagen, Danemark.https://inria.hal.science/hal-00711524v1
- [67] D. Wagelaar, M. Tisi, J. Cabot, F. Jouault. Towards a General Composition Semantics for Rule-Based Model Transformation. In MoDELS, 2011, Wellington, Nouvelle-Zélande.https://inria.hal.science/hal-00642066v1
- [68] M. Tisi, S. Martínez, F. Jouault, J. Cabot. Lazy Execution of Model-to-Model Transformations. In Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, octobre 2011, Wellington, Nouvelle-Zélande.https://inria.hal.science/inria-00609458v1
- [69] F. Piero, M. Tisi. Multi-level Tests for Model Driven Web Applications. In International Conference on Web Engineering 2010, 2010, , Autriche.https://hal.science/hal-00531786v1
- [70] B. Marco, C. Stefano, M. Tisi. Search Computing: A Model-Driven Perspective. In International Conference on Model Transformations 2010, juin 2010, , Espagne.https://hal.science/hal-00531783v1
- [71] M. Tisi, J. Cabot, F. Jouault. Improving Higher-Order Transformations Support in ATL. In International Conference on Model Transformations 2010, juin 2010, , Espagne.https://hal.science/hal-00531785v1
- [72] F. Jouault, M. Tisi. Towards Incremental Execution of ATL Transformations. In ICMT2010 - Intl. Conference on Model Transformation, juin 2010, Malaga, Espagne.In Laurence Tratt and Martin Gogolla (éds.), . Springer, 2010.https://inria.hal.science/inria-00539063v1
- [73] M. Tisi, F. Jouault, P. Fraternali, S. Ceri, J. Bézivin. On the Use of Higher-Order Model Transformations. In Fifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), juin 2009, Enschede, Pays-Bas.https://inria.hal.science/hal-00782464v1
- [74] H. Bruneliere, J. Cabot, F. Jouault, M. Tisi, J. Bézivin. Industrialization of Research Tools: the ATL Case. In Third International Workshop on Academic Software Development Tools and Techniques - WASDeTT-3 (co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering - ASE'2010), septembre 2010, Antwerp, Belgique.https://hal.science/hal-00539173v1
- [75] J. Royer, M. Tisi. Automatically Summarizing all the Problems of a Rule-Based System. Rapport technique, 2020 ; IMT Atlantique.https://hal.science/hal-02432411v1
- [76] M. Tisi, S. Martínez, F. Jouault, J. Cabot. Refining Models with Rule-based Model Transformations. Rapport technique, 2011 ; INRIA.https://inria.hal.science/inria-00580033v2